The landing gear system in multi-machine Hybrid Event-B
نویسندگان
چکیده
منابع مشابه
The Landing Gear Case Study in Hybrid Event-B
A case study problem based on a set of aircraft landing gear is examined in Hybrid Event-B (an extension of Event-B that includes provision for continuously varying behaviour as well as the usual discrete changes of state). Although tool support for Hybrid Event-B is currently lacking, the complexity of the case study provides a valuable challenge for the expressivity and modelling capabilities...
متن کاملModelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin
This paper presents a solution to the landing gear system case study using Event-B and Rodin. We study the whole system (both the digital part and the controlled part). We use feature augmentation to build an abstract model of the whole system and structural refinement to detail more specifically the digital part. The required safety properties are formalised and proved. We propose a specific a...
متن کاملHemodialysis Machine in Hybrid Event-B
The hemodialysis machine case study is examined in Hybrid Event-B (an extension of Event-B that includes provision for continuously varying behaviour as well as the usual discrete changes of state). A broadly component based strategy is adopted, using the multi-machine and coordination facilities of Hybrid Event-B. Since, like most medical procedures, hemodialysis is under overall human control...
متن کاملModelling an Aircraft Landing System in Event-B (Full Report)
The failure of hardware or software in a critical system can lead to loss of lives. The design errors can be main source of the failures that can be introduced during system development process. Formal techniques are an alternative approach to verify the correctness of critical systems, overcoming limitations of the traditional validation techniques such as simulation and testing. The increasin...
متن کاملPrediction of Landing Gear Loads Using Machine Learning Techniques
This paper investigates the feasibility of using machine learning algorithms to predict the loads experienced by a landing gear during landing. For this purpose, results on drop test data and flight test data will be examined. This paper will focus on the use of Gaussian Process regression for the prediction of loads on components of a landing gear. For the learning task, comprehensive measurem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Software Tools for Technology Transfer
سال: 2015
ISSN: 1433-2779,1433-2787
DOI: 10.1007/s10009-015-0409-7